<?php

class WorkflowRunTimeException extends WorkflowException {
  
}